An Executable Visual Formalism for Object
نویسنده
چکیده
Conceptual modeling aims at establishing the conceptual knowledge necessary for proper communication between a development team and users. This paper presents an executable visual formalism for object-oriented conceptual modeling of information systems. This formalism is an integration of the Entity-Relationship approach, Petri nets, relational calculus, and time temporal logic. It supports integrated and encapsulated modeling of the structural and behavioral aspects of objects, and object evolution. The formalism has textual and graphical representations, allows formal analysis of model properties, and supports rapid prototyping. An environment and a methodology for conceptual modeling also are described.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملComprehensive model for formalized description, visualization and simulation of biological systems
BioUML is integrated extensible workbench for systems biology (http://www.biouml.org). Its core is BioUML meta model that provides a formalism for comprehensive description, visualization and simulation of wide range of biological and other complex systems. The suggested model is problem domain neutral and splits the system description into three interconnected levels: 1) graph structure the sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995